81. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده : by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Biology_xData processing.,Computer-aided design.
82. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
83. Computer Simulation Studies in Condensed-Matter Physics XVI
پدیدآورنده : edited by David P. Landau, Steven P. Lewis, Heinz-Bernd Schüttler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Physics.
84. Computer Simulation in Chemical Physics
پدیدآورنده : edited by M.P. Allen, D.J. Tildesley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemistry, Physical and theoretical -- Computer simulation -- Congresses.,Molecular dynamics -- Computer simulation -- Congresses.,Monte Carlo method -- Congresses.
85. Computer algebra in scientific computing :
پدیدآورنده : Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
86. Computer assisted radiology :
پدیدآورنده : edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
87. Computer performance evaluation :
پدیدآورنده : Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : računalništvo -- optimizacija računalnika -- programska orodja -- zmogljivost -- računalniške mreže -- merjenje -- algoritemske tehnike -- Petrijeve mreže -- zborniki
رده :
QA76
.
9
.
E94
R366
1998
88. Computing Qualitatively Correct Approximations of Balance Law
پدیدآورنده : / by Laurent Gosse
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Differential equations, partial,Computer science, Mathematics,Engineering mathematics,Electronic books
رده :
E-BOOK
89. Constructive, experimental, and nonlinear analysis
پدیدآورنده : Michel Thera, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Number theory,Congresses ، Numerical analysis,Congresses ، Nonlinear functional analysis
رده :
QA
241
.
C767
90. Constructive, experimental, and nonlinear analysis
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Number theory,Congresses ، Numerical analysis,Congresses ، Nonlinear functional analysis
رده :
QA
241
.
C6895
2000
91. Control systems and mathematical methods in economics :
پدیدآورنده : Gustav Feichtinger, Raimund M. Kovacevic, Gernot Tragler, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Calculus of variations.,Control theory.,Economics.,Environmental management.,Numerical analysis.,Operations research.,Population.,Calculus of variations.,Calculus of variations.,Control theory.,Economic theory & philosophy.,Economics.,Environmental management.,Environmental management.,MATHEMATICS-- Numerical Analysis.,Numerical analysis.,Numerical analysis.,Operational research.,Operations research.,Political economy.,Population.
رده :
QA297
92. Counterexamples :
پدیدآورنده : Andrei Bourchtein, Ludmila Bourchtein
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Calculus, Textbooks,Functional analysis, Textbooks
رده :
QA320
.
B68
2015
93. Current research in nonlinear analysis :
پدیدآورنده : Themistocles M. Rassias, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Nonlinear theories.,Calculus of Variations and Optimal Control; Optimization.,Functions of a Complex Variable.,Mathematics.,Numerical Analysis.,Partial Differential Equations.,Real Functions.,Calculus of variations.,Complex analysis, complex variables.,Differential calculus & equations.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear theories.,Numerical analysis.,Real analysis, real variables.
رده :
QA427
94. Data-driven computational methods :
پدیدآورنده : John Harlim, the Pennsylvania State University.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational sciences.
رده :
QA274
.
2
.
H37
2018
95. Degree theory
پدیدآورنده : Lloyd, Noel Glynne
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Topological degree,، Differential equations -- Numerical solutions,، Functional analysis
رده :
QA
612
.
L57
96. Difference Equations and Discrete Dynamical Systems with Applications
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics; Difference and Functional Equations; Dynamical Systems and Ergodic Theory; Applications of Mathematics; Computational Mathematics and Numerical Analysis; Mathematical and Computational Biology; Economic Theory/Quantitative Economics/Mathemati
97. Differential Quadrature and Its Application in Engineering
پدیدآورنده : by Chang Shu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering mathematics.,Engineering.,Global analysis (Mathematics).
98. Differential equations and dynamical systems :
پدیدآورنده : Abdulla Azamov, Leonid Bunimovich, Akhtam Dzhalilov, Hong-Kun Khang, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Congresses.,Dynamics, Congresses.,Dynamical Systems and Ergodic Theory.,Partial Differential Equations.,Differential calculus & equations.,Differential equations.,Dynamics.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear science.
رده :
QA370
99. Differential equations, chaos and variational problems /
پدیدآورنده : Vasile Staicu, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Calculus of variations.,Chaotic behavior in systems.,Differential equations.
رده :
QA371
.
D445
2008eb
100. Differential quadrature and its application in engineering /
پدیدآورنده : Chang Shu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations-- Numerical solutions.,Engineering mathematics.,Numerical integration.,Differential equations-- Numerical solutions.,Engineering mathematics.,Numerical integration.
رده :
QA372
.
S454
2000
